Web Rules Need Two Kinds of Negation
نویسنده
چکیده
In natural language, and in some knowledge representation systems, such as extended logic programs, there are two kinds of negation: a weak negation expressing non-truth, and a strong negation expressing explicit falsity. In this paper I argue that, like in several basic computational languages, such as OCL and SQL, two kinds of negation are also needed in the Semantic Web.
منابع مشابه
Negation in the Head of CP-logic Rules
CP-logic is a probabilistic extension of the logic FO(ID). Unlike ASP, both of these logics adhere to a Tarskian informal semantics, in which interpretations represent objective states-of-affairs. In other words, these logics lack the epistemic component of ASP, in which interpretations represent the beliefs or knowledge of a rational agent. Consequently, neither CP-logic nor FO(ID) have the ne...
متن کاملASP-PROLOG: Composition and Interoperation of Rules
One of the main goals of the Semantic Web initiative [3] is to extend the current Web technology to allow for the development of intelligent agents, which can automatically and unambiguously process the information available on millions of web pages. It has been recognized very early in the development of the Semantic Web that rules are essential for the Web3 and for Semantic Web applications—e...
متن کاملRules with Contextually Scoped Negation
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism. Especially negation as failure, which intuitively adopts a closed world view, is often claimed to be unsuitable for the Web where knowledge is notoriously incomplete. Nonetheless, it was suggested in the ongoing dis...
متن کاملFuzzy Set with Three Kinds of Negations and Its Applications in Fuzzy Decision Making
In [13], we proposed that there are three kinds of negative relations which contradictory negative relation, opposite negative relation and medium negative relation in fuzzy information, and that defined a new fuzzy set FSCOM with contradictory negation, opposite negation and medium negation. In order to show applicability of FSCOM, this paper apply FSCOM to fuzzy decision making in an actual e...
متن کاملLearning Extended Logic Programs
This paper presents a method to generate nonmonotonic rules with exceptions from positive/negative examples and background knowledge in Inductive Logic Programming. We adopt extended logic programs as the form of programs to be learned, where two kinds of negation—negation as failure and classical negation—are effectively used in the presence of incomplete information. While default rules axe g...
متن کامل